Ono Proof Algebra